Francesco Ciraulo INTUITIONISTIC OVERLAP STRUCTURES
نویسنده
چکیده
We study some connections between two kinds of overlap relations: that of point-free geometries in the sense of Grzegorczyk, Whitehead and Clarke, and that recently introduced by Sambin within his constructive approach to topology. The main thesis of this paper is that the overlap relation in the latter sense is a necessary tool for a constructive and intuitionistic development of point-free geometry.
منابع مشابه
Regular opens in constructive topology and a representation theorem for overlap algebras
Giovanni Sambin has recently introduced the notion of an overlap algebra in order to give a constructive counterpart to a complete Boolean algebra. We propose a new notion of regular open subset within the framework of intuitionistic, predicative Topology and we use it to give a representation theorem for (set-based) overlap algebras. In particular we show that there exists a duality between th...
متن کاملFiniteness in a Minimalist Foundation
We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Löf’s intuitionistic Type Theory, top...
متن کامل$\sigma$-locales and Booleanization in Formal Topology
A σ-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. Aim of this paper is to present σ-frames, actually σ-locales, as a branch of Formal Topology, that is, intuitionistic and predicative pointfree topology. We show that every σframe L can be presented as the lattice of Lindelöf elements (those whose covers admit countable subcovers) o...
متن کاملReducibility, a constructive dual of spatiality
An intuitionistic analysis of the relationship between pointfree and pointwise topology brings new notions to light that are hidden from a classical viewpoint. In this paper, we introduce one of these, namely the notion of reducibility for a pointfree topology, which is classically equivalent to spatiality. We study its basic properties and we relate it to spatiality and to other concepts in co...
متن کاملConstructive version of Boolean algebra
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we show that his notion of overlap morphism corresponds classically to that of map preserving arbitrary joins. Moreover we prove that the power collection of a set is the free overlap algebra join-generated from the set. Then, we generalize the concept of overlap algebra and o...
متن کامل